航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

航空犯罪防控的系统工程分析

通过对航空犯罪防控的系统分析,探寻航空犯罪防控工作规律,研究系统构建的技术方法,认识防控系统工程的特征,做好航空犯罪防控工作。     

空天飞机的计算流体力学分析

本文分析了空天飞机空气动力学的特点和计算流体力学在发展空天飞机中的作用,讨论了发展空天飞机对计算流体力学的要求。强调了计算流体力学、地面试验和飞行试验应该相互结合成一个整体。在这基础上,探讨了利用地面试验对计算程序进行“确认”、“校准”和“鉴定”以及鉴定计算程序对地面试验的要求。本文还从计算方法、外流、进气道流动、喷管流动、燃烧室流动等方面,综述了空天飞机计算流体力学分析的最近进展和尚待解决的问题。最后对发展我国空天飞机计算流体力学提出了建议。     

等熵轻质活塞风洞中主要部件尺寸的确定

等熵轻质活塞风洞是一种工作时间很短的风洞,作为气源适合于瞬时热传导测量技术的研究工作。在研究了此风洞工作特性的基础上,提出了确定风洞中主要部件尺寸的方法,为风洞全面设计提供依据。压力比P0/P和trun是确定管道尺寸的主要参数,匹配压力振荡最大振幅的允许值是确定活塞质量的关键。     

国内外民用航空发动机-飞机数据图形库系统的开发

 1.引言 国内外民用航空发动-飞机数据图形库系统的开发是应用计算机数据库技术、图形技术对航空科学与工程数据进行计算机辅助管理的一次尝试。该系统是在“微机汉字dBASEⅢ+微机汉字C编译”支持下设计与实现的具有图形功能的关系型汉字数据库应用系统。该系     

旋转条件下半封闭空间内多孔冲击平均换热特性实验

通过实验研究了冲击雷诺数Rej、旋转雷诺数Reω、以及冲击孔的排列方式、冲击孔到靶板之间的距离等参数,对旋转条件下半封闭空间内多孔冲击平均换热特性的影响.实验结果表明:随着冲击雷诺数的增大,多孔冲击的平均Nu数显著提高;随着旋转雷诺数的增大,平均Nu数稍有提高,但变化幅度不大;冲击孔的排列方式对平均换热效果也有一定的影响,叉排式稍优于顺排式;并且实验得出,冲击孔到靶板之间的距离为4倍冲击孔直径时多孔冲击平均换热效果最佳.     

基于约简遗传规划的线参数模型及在航空发动机起动建模中的应用

提出了一种新的约简遗传规划(PGP)算法和一种新的基于约简遗传规划的航空发动机起动动态线参数模型.这种模型采用遗传规划产生航空发动机起动模型的输入输出非线性模型集,并以二叉树结构表征函数项,运用正交最小二乘算法(OLS)估计二叉树分支(基本函数项)对于模型精度的贡献并去除复杂、冗余的函数项,从而加快遗传规划的收敛速度,最后通过GP进化可获得简单、可靠、准确的线参数非线性模型.发动机起动过程试车数据建模和与支持向量机的比较证明,这种方法可以产生适用性好、解析性强的线参数非线性模型,产生的模型可获得与支持向量机相当甚至更优的结果.     

建立民航维修专家系统的分析

简要介绍了专家系统的原理及构成.分析了“设计民航维修专家系统”的过程,目前加拿大正着手研制的“先进的维修软件系统”的概况.最后提出专家系统需要解决的关键技术问题及发展情况.     

基于T-S模糊系统的空天飞行器鲁棒自适应轨迹线性化控制

 基于T-S模糊系统提出了鲁棒自适应轨迹线性化控制(RATLC)方法。利用T-S模糊系统逼近未知干扰和不确定性因素，并采用Lyapunov方法设计了鲁棒自适应控制律。不论系统状态的维数和用于逼近不确定的模糊系统规则数为多少，整个系统仅有两个参数在线调整。理论分析证明了闭环系统所有信号一致最终有界。应用提出的控制方案设计了空天飞行器(ASV)飞行控制系统，并在高超声速飞行条件下进行了仿真验证，仿真结果表明了控制方案的有效性和鲁棒性。     

超声速叶型前缘几何形状对叶栅气动性能的影响

应用NURBS技术构造超声速叶型,采用两个控制参数调整叶栅前缘椭圆弧的几何形状,来探索不同的前缘构型对超声速叶型气动性能的影响效应;通过对比分析调整每个参数所得的一系列叶栅的流场计算结果,发现椭圆弧的形状控制因子对超声速叶栅的前缘激波和气流流动状况具有一定的改善效果,同时在保证叶栅气动弦长基本不变的情况下,存在某个椭圆弧形状控制因子和方向控制因子的匹配能够使叶栅的气动性能达到最佳.